Généralisation d'un théorème de Janiszewski
نویسندگان
چکیده
منابع مشابه
Une généralisation automorphe des nombres de Stirling
Let [n] be theset {1,2, *.. , n> and CT a given permutation in S,, the symmetric group on [n]. The (unsigned) Stirling numbers of the first kind enumerate the permutations on En] with k cycles and those of the second kind give the number partitions of [n] having k blocks. In this paper we compute the number of permutations on [n] with k cycles and the number of partitions on [n] having k blocks...
متن کاملRévision à base d'agents des connaissances de guidage d'un processus de généralisation de données géographiques
In digital cartography, generalisation aims at decreasing the level of details of vectorial geographical data. Many models were developed in order to achieve its automation. Among them, some are based on a multi-agent approach. The work presented in this paper is focused on the automatic guidance knowledge revision of an existing system using multiagent and that works by trials/errors. The over...
متن کاملGénéralisation contextuelle de mesures dans les entrepôts de données. Application aux entrepôts de données médicales
RÉSUMÉ. Les hiérarchies occupent une place importante pour l’analyse dans les entrepôts de données. Mais les modèles existants ne considèrent ce concept de hiérarchie qu’au niveau des axes d’analyse que constituent les dimensions, restreignant les possibilités d’interrogation par rapport à une éventuelle hiérarchisation sur les mesures. Par exemple, dans le cadre de données médicales, une tensi...
متن کاملDeux Remarques sur un Théorème de S. Eilenberg
— We give hère a proof of the « cross section theorem » that is slightly différent from the original one. This allows us not only to show the existence of a rational cross section ofany rational set but also to describe such a cross section by means ofthe lexicographie ordering of the words. With some examples we also show that if we use the ordering ofwords by length, instead of the lexicograp...
متن کاملUne preuve formelle et intuitionniste du théorème de complétude de la logique classique
Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1928
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-12-1-152-157